Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
541	A field based representation for vague areas defined by spatial prepositions Mark M. Hall, Christopher B. Jones School of Computer Science Cardiff University Cardiff CF24 3AA, Wales, United Kingdom [M.M.Hall, C.B.Jones]@ Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2008-11-24 18:48:37 Fuzzy logic Spatial data analysis Geography Artificial intelligence Logic in computer science Spatial analysis Geographic information system Spatial–temporal reasoning Active contour model Statistics Logic Mathematical logic
542	Binding Logi : proofs and models Gilles Dowek1 , Therese Hardin2 , and Claude Kir hner3 1 3 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Metalogic Model theory Predicate logic Structure Free variables and bound variables FO Arity Mathematics Universal algebra Mathematical logic
543	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics
544	The Premiss-Based Approach to Judgment Aggregation Franz Dietrich & Philippe Mongin December 2007 Abstract We investigate judgment aggregation by assuming that some formulas of the Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2008-01-31 05:56:33 Model theory Propositional calculus Semantics Order theory Boolean algebra Interpretation Filter Logic Mathematical logic Mathematics
545	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-06 03:22:49 Applied mathematics Mathematical logic Order theory Logic in computer science Metalogic Model theory Equational logic Simulation preorder Preorder Mathematics Logic Theoretical computer science
546	Asset Trading Volume in Infinite-Horizon Economies with Dynamically Complete Markets and Heterogeneous Agents: Comment∗ Peter Bossaerts† California Institute of Technology Add to Reading List Source URL: www.econ.ucla.edu Language: English - Date: 2006-01-16 17:34:26 General equilibrium theory Capital asset pricing model Entailment Logic Financial economics Forward contract
547	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
548	Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu \| schaetz}@fortiss.org † indep Add to Reading List Source URL: mbeddr.com Language: English Theoretical computer science Model checkers Logic in computer science NuSMV Model checking Formal verification Domain-specific language Programming language Feature model Formal methods Software Mathematics
549	Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-04-02 08:23:44 Computing Answer set programming Stable model semantics Prolog DLV Constraint satisfaction Logic programming Software engineering Computer programming
550	TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-04-02 08:29:00 Formal languages Logical syntax Philosophical logic Method of analytic tableaux Interpretation Entailment Modal logic Model theory Symbol Logic Metalogic Propositional calculus

UPDATE